- external consistency
- мат.внешняя непротиворечивость, внешняя совместимость
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Consistency model — In computer science, consistency models are used in distributed systems like distributed shared memory systems or distributed data stores (such as a filesystems, databases, optimistic replication systems or Web caching). The system supports a… … Wikipedia
Local consistency — In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of variables or constraints. Several such conditions exist, the most known being node consistency,… … Wikipedia
Novikov self-consistency principle — The Novikov self consistency principle, also known as the Novikov self consistency conjecture, is a principle developed by Russian physicist Igor Dmitriyevich Novikov in the mid 1980s to solve the problem of paradoxes in time travel, which is… … Wikipedia
Internal consistency of the Bible — An American family Bible dating to 1859. The question of the internal consistency of the Bible concerns the coherence and textual integrity of the Biblical scriptures. This has long been an issue for Christians and Jews, who consider the Bible… … Wikipedia
Sequential consistency — is one of the consistency models used in the domain of the concurrent programming (e.g. in distributed shared memory, distributed transactions, etc.). It was first defined as the property that requires that ... the results of any execution is the … Wikipedia
Internal consistency — In statistics and research, internal consistency is a measure based on the correlations between different items on the same test (or the same subscale on a larger test). It measures whether several items that propose to measure the same general… … Wikipedia
Causal consistency — is one of the consistency models used in the domain of the concurrent programming (e.g in distributed shared memory, distributed transactions etc).A system provides causal consistency if writes that potentially are causally related are seen by… … Wikipedia
Statutory interpretation — Judicial Interpretation Forms … Wikipedia
Congruence — is the state achieved by coming together, the state of agreement. The Latin congruō meaning “I meet together, I agree”. As an abstract term, congruence means similarity between objects. Congruence, as opposed to equivalence or approximation, is a … Wikipedia
Independent software verification and validation — ISVV stands for Independent Software Verification and Validation. ISVV is targeted at safety critical software systems and aims to increase the quality of software products, thereby reducing risks and costs through the operational life of the… … Wikipedia
Biba Model — The Biba Model or Biba Integrity Model developed by Kenneth J. Biba in 1977 [Biba, K. J. Integrity Considerations for Secure Computer Systems , MTR 3153, The Mitre Corporation, April 1977.] , is a formal state transition system of computer… … Wikipedia